Towards a Formal Ontology for Military Coalitions Operations
نویسندگان
چکیده
The goal of this paper is to raise some of the fundamental questions that underpin the development of formal ontologies, especially the ones that are used for systems interoperability. To realize this, the three authors independently collaborated on different aspects of this paper. In this way, questions naturally arose from the review of each others’ work. In essence, this paper represents the genesis of the authors’ collaboration and constitutes for them a basis for future research.
منابع مشابه
An Organisational Interoperability Agility Model
Recently, there have been significant changes in the nature, scale, scope and diversity of military operations. There is an increased tempo of operations as Defence Forces are now often involved in multi-agency and concurrent operations ranging from relatively benign national or regional support activities through to high intensity coalition war fighting activities. Unilateral operations are ra...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملJoint Doctrine Ontology: A Benchmark for Military Information Systems Interoperability
When the U.S. conducts warfare, elements of a force are drawn from different Services and work together as a single team to accomplish an assigned mission on the basis of joint doctrine. To achieve such unified action, it is necessary that specific Service doctrines be both consistent with and subservient to joint doctrine. But there are two further requirements that flow from the ways in which...
متن کاملAnalysing Web Ontology in Alloy: A Military Case Study
Correctness is the essential requirement criteria for military web ontology based information systems. Reasoning and consistency checking can be useful at many stages during the design, maintenance and deployment of Semantic Web (SW) ontology. Formal methods can provide automatic reasoning and consistency checking services for SW. In this paper, we use military plan ontology as a case study to ...
متن کاملResearch on Ontology based Military Knowledge Development Methodology
Military system is knowledge-rich system. Military knowledge development is a vital part of its engineering process, and also a difficult part. An ontology based military knowledge development methodology is proposed in this paper, and its idea, development process, and ontology built method discussed. Ontology based military knowledge development methodology can effectively increase knowledge ...
متن کامل